Antonella Santone, Gigliola Vaglini: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A “pay-how-you-drive” car insurance approach through cluster analysis

Carfora, Maria Francesca, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella, Vaglini, Gigliola

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2018

Language:

english

File:

PDF, 3.11 MB

english, 2018

2

LORETO: a tool for reducing state explosion in verification of LOTOS programs

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Software: Practice and Experience

Year:

1999

Language:

english

File:

PDF, 171 KB

english, 1999

3

A local approach for temporal model checking of Java bytecode

Antonella Santone, Gigliola Vaglini

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

4

Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation

Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola

Journal:

Simulation Modelling Practice and Theory

Year:

2020

File:

PDF, 2.35 MB

2020

5

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Journal of Computer and System Sciences

Year:

1999

Language:

english

File:

PDF, 296 KB

english, 1999

6

Model Checking Multithreaded Programs by Means of Reduced Models

Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 348 KB

english, 2004

7

A user-friendly interface to specify temporal properties of concurrent systems

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Information Sciences

Year:

2007

Language:

english

File:

PDF, 528 KB

english, 2007

8

Compositionality and locality for improving model checking in the selective mu-calculus

Antonella Santone, Gigliola Vaglini

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 938 KB

english, 2005

9

Abstract interpretation of trace semantics for concurrent calculi

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 126 KB

english, 1999

10

Reusing LOTOS specifications

Antonella Santone, Gigliola Vaglini

Journal:

Microprocessors and Microsystems

Year:

2001

Language:

english

File:

PDF, 187 KB

english, 2001

11

Formula-based abstractions and symbolic execution for model checking programs

Antonella Santone, Gigliola Vaglini

Journal:

Microprocessors and Microsystems

Year:

2004

Language:

english

File:

PDF, 159 KB

english, 2004

12

State space reduction by non-standard semantics for deadlock analysis

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.96 MB

english, 1998

13

Efficient model checking of properties of a distributed application: a multimedia case study

Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 296 KB

english, 2002

14

Modular formal verification of specifications of concurrent systems

Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Journal:

Software Testing, Verification and Reliability

Year:

2008

Language:

english

File:

PDF, 273 KB

english, 2008

15

Reduced Models for Efficient CCS Verification

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.52 MB

english, 2005

16

Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations

Antonella Santone, Gigliola Vaglini

Journal:

Journal of Automated Reasoning

Year:

2003

Language:

english

File:

PDF, 183 KB

english, 2003

17

Abstract reduction in directed model checking CCS processes

Antonella Santone, Gigliola Vaglini

Journal:

Acta Informatica

Year:

2012

Language:

english

File:

PDF, 402 KB

english, 2012

18

Heuristic search for equivalence checking

De Francesco, Nicoletta, Lettieri, Giuseppe, Santone, Antonella, Vaglini, Gigliola

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 899 KB

english, 2016

19

Incremental construction of systems: An efficient characterization of the lacking sub-system

Santone, Antonella, Vaglini, Gigliola, Villani, Maria Luisa

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 364 KB

english, 2013

20

[IEEE 2011 IEEE 35th Annual Computer Software and Applications Conference - COMPSAC 2011 - Munich, Germany (2011.07.18-2011.07.22)] 2011 IEEE 35th Annual Computer Software and Applications Conference - Ant Colony Optimization for Deadlock Detection in Concurrent Systems

Francesca, Gianpiero, Santone, Antonella, Vaglini, Gigliola, Villani, Maria Luisa

Year:

2011

Language:

english

File:

PDF, 473 KB

english, 2011

21

GreASE

Francesco, Nicoletta de, Lettieri, Giuseppe, Santone, Antonella, Vaglini, Gigliola

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2014

Language:

english

File:

PDF, 299 KB

english, 2014

22

[ACM Press the 14th international conference - Ischia, Italy (2002.07.15-2002.07.19)] Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02 - Local model checking of Java bytecode

Santone, Antonella, Vaglini, Gigliola

Year:

2002

Language:

english

File:

PDF, 256 KB

english, 2002

23

[IEEE 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Buenos Aires, Argentina (2017.5.27-2017.5.27)] 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Model Checking for Mobile Android Malware Evolution

Cimitile, Aniello, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola

Year:

2017

Language:

english

File:

PDF, 591 KB

english, 2017

24

Model Checking Properties on Reduced Trace Systems

Santone, Antonella, Vaglini, Gigliola

Journal:

Year:

2014

Language:

english

File:

PDF, 273 KB

english, 2014

25

[IEEE 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2018.6.27-2018.6.29)] 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Safety Critical Systems Formal Verification Using Execution Traces

Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella, Vaglini, Gigliola

Year:

2018

Language:

english

File:

PDF, 177 KB

english, 2018

26

Model checking for malicious family detection and phylogenetic analysis in mobile environment

Cimino, Mario G.C.A., De Francesco, Nicoletta, Mercaldo, Francesco, Santone, Antonella, Vaglini, Gigliola

Journal:

Computers & Security

Year:

2020

File:

PDF, 1.64 MB

2020